Starvation-free mutual exclusion with semaphores

An Improved Token-Based and Starvation Free Distributed Mutual Exclusion Algorithm

Distributed mutual exclusion is a fundamental problem of distributed systems that coordinates the access to critical shared resources. It concerns with how the various distributed processes access to the shared resources in a mutually exclusive manner. This paper presents fully distributed improved token based mutual exclusion algorithm for distributed system. In this algorithm, a process which...

A Starvation-Free Solution to the Mutual Exclusion Problem

With three or more cyclic processes competing for the critical section, however, there is a danger of individual starvation when the Pand V-operations are so-called ‘weakly implemented’. When the semaphore operations are weakly implemented and a V(m) is executed, which process is allowed to proceed is left undefined when two or more processes are blocked by P(m). .As a result, there is a danger...

A fair starvation-free prioritized mutual exclusion algorithm for distributed systems

Several distributed mutual exclusion algorithms define the order in which requests are satisfied based on the priorities assigned to requests. These algorithms are very useful for real-time applications ones or those where priority is associated to a quality of service requirement. However, priority based strategies may result in starvation problems where high priority requests forever prevent ...

An Efficient Solution to the Mutual Exclusion Problem Using Weak Semaphores

We present a simple solution to the mutual exclusion problem with no lockout that uses weak binary semaphores. Previously, Morris [4] presented a solution to this problem that uses three binary semaphores and two variable-size shared variables. A simpler solution was given in [5], where just two semaphores and two shared singlebit variables are used. (In some earlier versions, an incorrect one-...

Proof of mutual - exclusion and non - starvation of a program with weak memory model : PostgreSQL 1